1. Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
پدیدآورنده : Nachum Dershowitz )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2772
